Search Results
Formal Verification of Smart Contracts and Protocols: What, Why, How (Devcon5)
Formal verification of smart contracts
Formal Verification of Smart Contracts - Yoichi Hirai
Formal Verification of Smart Contracts: Dr. Christian Reitwiessner - IC3-Ethereum Crypto Boot Camp
Formal Verification for Solidity
Bas Spitters: Smart Contracts and Formal Verification for the Blockchain
Formal Verification of Smart Contracts with the th2 Automation Framework
Building a Formally-Verified DApp with the Reach DSL, today! by Jay McCarthy (Devcon5)
Solc-verify, a source-level formal verification tool for Solidity smart contracts by Akos Hajdu
Formal Specification and Verification of the Distributed Validator Technology protocol
Concordium Smart Contracts and Formal Verification
Mooly Sagiv on Certora's exact and automatic formal verification of smart contracts
